罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例（扩展抽象）。 （英语） Zbl 1483.68210号 Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215264-282（2016）。MSC公司：60年第68季度 03B25号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra}，电子。程序。西奥。计算。科学。（EPTCS）215264--282（2016；Zbl 1483.68210） 全文： arXiv公司 链接
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 模型检查艾伦关系的逻辑遇见和由启动是\（\mathbf{P}^{\mathbf{NP}}\）-完成的。 （英语） Zbl 1478.68148号 Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）22676-90（2016）。MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《电子》。程序。西奥。计算。科学。（EPTCS）226、76--90（2016年；Zbl 1478.68148） 全文： arXiv公司 链接
陈清良;苏凯乐;阿卜杜勒·萨塔尔;罗向玉;陈爱香 BDI代理的一阶联盟逻辑。 （英语） Zbl 1403.68257号 前面。计算。科学。 10，第2期，233-245（2016）.MSC公司：68T27型 65年第68季度 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{Q.Chen}等人，前。计算。科学。10，第2号，233--245（2016；Zbl 1403.68257） 全文： DOI程序
兹布热兹尼，阿格涅兹卡M。;安德烈·兹布雷泽兹尼 通过基于SMT的有界模型检查验证多智能体系统的实时特性。 （英语） Zbl 1392.68267号 Baldoni，Matteo（编辑）等，2016年PRIMA：多智能体系统的原理和实践。第19届国际会议，2016年8月22日至26日，泰国普吉岛。诉讼程序。查姆：施普林格（ISBN 978-3-319-44831-2/pbk；978-3-3169-44832-9/电子书）。计算机科学课程讲稿9862。《人工智能课堂讲稿》，149-167（2016）。MSC公司：60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Zbrzezny}和\textit{A.Zbrzezny}，莱克特。注释计算。科学。9862、149-167（2016；Zbl 1392.68267） 全文： DOI程序
弗朗西斯科·贝拉迪内利;阿莱西奥·洛穆西奥 用于验证多智能体系统中认知属性的三值抽象技术。 （英语） Zbl 1483.68417号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 112-126 (2016).MSC公司：68T42型 03B42号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{A.Lomuscio}，莱克特。注释计算。科学。1002112-126（2016年；兹bl 1483.68417） 全文： DOI程序
沃纳·什尼亚克（Bożena）;安德烈·兹布雷泽兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 （英语） Zbl 1417.68106号 螺柱日志。 104，第4期，641-678（2016）.MSC公司：60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛B.Woźna Szcześniak｝和\textit｛A.Zbrzezny｝，种马日志。104、4号、641--678（2016；Zbl 1417.68106） 全文： DOI程序 OA许可证
劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 间隔时间逻辑模型检查：好的和坏的HS片段之间的边界。 （英语） Zbl 1475.68177号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 389-405 (2016).MSC公司：60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，Lect。注释计算。科学。9706389--405（2016；Zbl 1475.68177） 全文： DOI程序
娜塔莎·亚历奇纳;布赖恩·洛根 验证资源型代理的系统。 （英语） 兹比尔1475.68397 贝克曼，阿诺德（编辑）等人，《追求宇宙》。2016年6月27日至7月1日，在法国巴黎举行的第12届欧洲可计算性会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9709, 3-12 (2016).MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{B.Logan}，莱克特。注释计算。科学。9709，3--12（2016年；Zbl 1475.68397） 全文： DOI程序 链接
朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 有界情境演算行动理论。 （英语） Zbl 1357.68227号 Artif公司。智力。 237, 172-203 (2016).MSC公司：68立方英尺 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人，Artif。智力。237172-203（2016；Zbl 1357.68227） 全文： DOI程序 arXiv公司 链接
帕纳吉奥蒂斯·库瓦罗斯;阿莱西奥·洛穆西奥 多智能体系统的参数化验证。 （英语） Zbl 1351.68294号 Artif公司。智力。 234, 152-189 (2016).MSC公司：68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kouvaros}和\textit{A.Lomuscio}，Artif。智力。234152--189（2016；Zbl 1351.68294） 全文： DOI程序 OA许可证